#include <stdio.h>
extern int niu_4;

//int main()
//{
//	printf("%d\n", niu_4);
//
//	return 0;
//}